
#include <wsnos_port.h>

osel_uint8_t osel_int_nest = 0;                          

void osel_start(void) 
{
    OSEL_INT_UNLOCK();                      
}

void osel_exit(void) 
{
    OSEL_INT_LOCK();                                 
}


void osel_eoi(void) 
{
    asm("RETI");	//  51
}

/**@}**/
